Logical consequence revisited

نویسنده

  • José M. Sagüillo
چکیده

Tarski’s 1936 paper, “On the concept of logical consequence”, is a rather philosophical, non-technical paper that leaves room for conflicting interpretations. My purpose is to review some important issues that explicitly or implicitly constitute its themes. My discussion contains four sections: (1) terminological and conceptual preliminaries, (2) Tarski’s definition of the concept of logical consequence, (3) Tarski’s discussion of omega-incomplete theories, and (4) concluding remarks concerning the kind of conception that Tarski’s definition was intended to explicate. The third section involves subsidiary issues, such as Tarski’s discussion concerning the distinction between material and formal consequence and the important question of the criterion for distinguishing between logical and non-logical terms.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Logical Consequence Inside Out

Tarski’s definition of logical consequence for an interpreted language rests on the distinction between extra-logical symbols, whose interpretation is allowed to vary across models, and logical symbols, aka logical constants, whose interpretation remains fixed. In this perspective, logicality come first, and consequence is a byproduct of the division between logical and extra-logical symbols. O...

متن کامل

Indistinguishability for QuantuIn Particles: Further Considerations

spin-statistics relation, Pauli exclusion principle Our earlier arguments (Berry, M.V. & Robbins, J.M. 1997. Proc Roy. Soc. Lond. A453 1771-1790) leading to the spin-statistics relation are summarized and then revisited. Correcting a minor logical error in the double application of exchange reinforces the parallel transport requirement for the basis incorporating spin exchange. There are certai...

متن کامل

Logical Consequence and Logical Expressions

The pretheoretical notions of logical consequence and of a logical expression are linked in vague and complex ways to modal and pragmatic intuitions. I offer an introduction to the difficulties that these intuitions create when one attempts to give precise characterizations of those notions. Special attention is given to Tarski’s theories of logical consequence and logical constancy. I note tha...

متن کامل

Consequence Mining: A New Approach to Logical Constants∗

Why is the concept of a logical constant important? Surely the strongest reason is that it appears to be involved in any attempt to identify a precise notion of logical consequence, and related notions like logical truth and analyticity. Whether you approach logical consequence semantically, in terms of preservation of truth, or syntactically, in terms of derivability in a formal system, you fi...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:
  • Bulletin of Symbolic Logic

دوره 3  شماره 

صفحات  -

تاریخ انتشار 1997